Linear Loss Function for the Network Blocking Game: An Efficient Model for Measuring Network Robustness and Link Criticality Aron Laszka1 , D´avid Szeszl´er2 , and Levente Butty´an1 1

Source URL: aronlaszka.com

DATA ANALYSIS MARKUS BRAUER General Linear Model I Models without within-participant variables

Source URL: lapsco.univ-bpclermont.fr

Microsoft Word - strc06-14.doc

Source URL: www.strc.ch

• Statistics
• Regression analysis
• Linear regression
• Multilevel model
• Accessibility
• Stepwise regression
• Dependent and independent variables
• Coefficient of determination

Genome Informatics 16(2): 225–Reconstruction of Gene Regulatory Networks under the Finite State Linear Model

Source URL: www.jsbi.org

• Biology
• Systems biology
• Bioinformatics
• Systems science
• Networks
• Gene expression
• Molecular biology
• Gene regulatory network
• Gene
• Biological network
• Boolean network
• Promoter

Materialization Optimizations for Feature Selection Workloads Ce Zhang†‡ † Arun Kumar†

Source URL: cs.stanford.edu

• Statistical inference
• Statistics
• Machine learning
• Probability and statistics
• Model selection
• Statistical classification
• Computational statistics
• Dimension reduction
• Feature selection
• Support vector machine
• Linear regression
• Static single assignment form

A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi Tohoku University

Source URL: www-kb.is.s.u-tokyo.ac.jp

LNCSActive Matching

Source URL: www.margaritachli.com

• Statistics
• Probability
• Mathematical analysis
• Statistical models
• Linear filters
• Cluster analysis
• Machine learning
• Mixture model
• Kalman filter
• Normal distribution
• Difference of Gaussians

SISPAD 2012, September 5-7, 2012, Denver, CO, USA A Compact Model for Graphene FETs for Linear and Non-linear Circuits Kristen N. Parrish, Michael E. Ramón, Sanjay K. Banerjee, and Deji Akinwande Microelectronics Resea

Source URL: in4.iue.tuwien.ac.at

Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Answer set programming
• ASCII
• Coala
• Linear temporal logic
• Stable model semantics

On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

Source URL: www-vvps09.imag.fr

• Logic
• Mathematical logic
• Theoretical computer science
• Temporal logic
• Model checkers
• Linear temporal logic
• NuSMV
• Model checking
• Concurrency
• Finite model theory
• Planning Domain Definition Language
• SMV